Trong toán học, một dạng toàn phương là một đa thức với các số hạng có bậc bằng hai. Ví dụ,là một dạng toàn phương với các biến x và y. Các hệ số thường thuộc một trường K cố định, chẳng hạn như số thực hoặc số phức.Các dạng toàn phương chiếm vị trí trung tâm trong nhiều nhánh toán học khác nhau, bao gồm lý thuyết số, đại số tuyến tính, lý thuyết nhóm (nhóm trực giao), hình học vi phân (metric Riemann, dạng cơ bản thứ hai), tô pô vi phân (dạng giao của 4-đa-tạp) và lý thuyết Lie (dạng Killing).